Thorsten Altenkirch - PDFSEARCH.IO - Document Search Engine

Thorsten Altenkirch
Results: 25

#	Item
11	Computer Systems Architecture http://cs.nott.ac.uk/∼txa/g51csa/ Thorsten Altenkirch and Liyang Hu School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-10-23 10:01:06
12	COQ : a quick introduction Thorsten Altenkirch School of Computer Science University of Nottingham April 17, 2008 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-04-17 09:57:04
13	Computer Systems Architecture http://cs.nott.ac.uk/∼txa/g51csa/ Thorsten Altenkirch and Liyang Hu School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-11-06 10:58:32
14	Computer Systems Architecture http://cs.nott.ac.uk/∼txa/g51csa/ Thorsten Altenkirch and Liyang Hu School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-10-30 11:21:14
15	School of Computer Science and Information Technology Computer Systems Architecture (G51CSA) Thorsten Altenkirch Autumn 2008 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-09-25 12:05:08
16	Beauty in the Beast A Functional Semantics of the Awkward Squad Wouter Swierstra joint work with Thorsten Altenkirch Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2016-03-22 06:34:53
17	Univalence Thorsten Altenkirch Functional Programming Laboratory Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2015-07-02 06:08:11
18	Relative monads formalised THORSTEN ALTENKIRCH School of Computer Science, University of Nottingham JAMES CHAPMAN Institute of Cybernetics, Tallinn University of Technology and Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2014-07-18 07:06:08
19	Exploring the Regular Tree Types Peter Morris, Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology University of Nottingham Abstract. In this paper we use the Epigram language to Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00
20	A functional quantum programming language Thorsten Altenkirch and Jonathan Grattage School of Computer Science and IT, Nottingham University email: {txa,jjg}@cs.nott.ac.uk Abstract Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:42:44 Applied mathematics Models of computation Quantum mechanics Symbol Quantum circuit Quantum computer Quantum operation Quantum programming Quantum gate Theoretical computer science Quantum information science Physics

UPDATE